[IA64] vti domain save/restore: make vmx_vcpu_set_rr() accept non-current
authorAlex Williamson <alex.williamson@hp.com>
Fri, 12 Oct 2007 20:36:37 +0000 (14:36 -0600)
committerAlex Williamson <alex.williamson@hp.com>
Fri, 12 Oct 2007 20:36:37 +0000 (14:36 -0600)
commit456c810d674c74f704f67dc5311531a37d846bea
treef68d1d71980d840ebee80aa8942d1bd695bda8df
parent6df0ca32aec662303852075150e5d2b010aec546
[IA64] vti domain save/restore: make vmx_vcpu_set_rr() accept non-current

make vmx_vcpu_set_rr accept non-current vcpu for setting vcpu context.

Signed-off-by: Isaku Yamahata <yamahata@valinux.co.jp>
xen/arch/ia64/vmx/vmx_vcpu.c